projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0d7a599) | patch
x86/EFI: keep EFI runtime services top level page tables up-to-date
authorJan Beulich <jbeulich@suse.com>
Tue, 19 May 2015 09:35:30 +0000 (11:35 +0200)
committerJan Beulich <jbeulich@suse.com>
Tue, 19 May 2015 09:39:09 +0000 (11:39 +0200)
commitdb83975f0fcd30370392ed288a7bd2420624ed4e
tree567ed99769d37dd64c96418657dafb27082bf9a6tree | snapshot
parent0d7a599afff0665c74f328f6af85e556688d7908commit | diff
x86/EFI: keep EFI runtime services top level page tables up-to-date

Updates to idle_pg_table[] need to be mirrored into the page tables
used for invoking EFI runtime services.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
xen/arch/x86/efi/runtime.h diff | blob | history
xen/arch/x86/efi/stub.c diff | blob | history
xen/arch/x86/mm.c diff | blob | history
xen/include/asm-x86/page.h diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.